package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@uPatternDescription
(	Title = "StateMachine",
	Description = "Interface whose methods accept no paramters")

	@Target(ElementType.TYPE)
public @interface StateMachine {
	String[] noParametersMethods() default {};
}
